⚡ Circuit Design

Logic Synthesis, Hardware Description Languages, Digital Electronics, Circuit Verification

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·2d
🧠Computational Logic
Aug 24 2025 : Synthesizer Night @ NYC Resistor
nycresistor.com·15h
🎛️Audio Synthesis
Inside The Box: Everything I Did with an Arduino Starter Kit
lopespm.com·1d·
Discuss: Hacker News
🔌Single Board PC
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·13h·
Discuss: Hacker News
🎯Interactive Provers
Cactus Language • Stylistics 4
inquiryintoinquiry.com·19h
🌳Context free grammars
Computer Architecture: A quantitative approach
ikerexxe.github.io·2d
🖥️Hardware Architecture
Hierarchical Modeling (H-Nets)
cartesia.ai·15h·
Discuss: Hacker News
🌀Hyperbolic Geometry
My Experience with the Scott Logic Graduate Training
blog.scottlogic.com·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Built my homelab on a mini PC, time and money really do build everything.
reddit.com·3h·
Discuss: r/homelab
🏠Homelab Archaeology
ASRock Industrial unveils DSC-NV003-WT NVIDIA Jetson AGX Orin Developer Kit
cnx-software.com·1h
🖥️Modern Terminals
Passionate enthusiast builds a fully functional processor out of old memory chips — hand-solders every wire, writes 1800 lines of assembler code, and makes it p...
tomshardware.com·2d
🧲RISC-V Archaeology
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
An LLM Router That Thinks Like an Engineer
medium.com·17h·
Discuss: Hacker News
📡BGP Archaeology
Piano Keys
mathpages.com·13h·
Discuss: Hacker News
🌈Spectral Audio
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
A distributed systems reliability glossary
antithesis.com·20h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·11h·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·5h
🔧RISC-V Assembler